Output $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(${\it Sys}$(valid)$\mid$tail{-}dcdr\{i:l\}(${\it es}$;${\it Config}$))